NoSizedTypes.agda:10,10-11
i != ∞ of type Size
when checking that the expression x has type Nat
